Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
Compiler Theory Applications
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
Compiler Theory Applications
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·16h·
Discuss: Substack
Compiler Theory Applications
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·13h·
Discuss: Hacker News
💻Programming
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
Compiler Theory Applications
Flag this post
Our newest model: Chandra (OCR)
datalab.to·6h·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
Compiler Theory Applications
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·15h·
🛠developer tools
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3h·
Discuss: Hacker News
🔗Functional Programming
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·2d·
Discuss: Hacker News
Compiler Theory Applications
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·8h·
Discuss: Hacker News
🔗Functional Programming
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
🛠developer tools
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·1d·
💻Programming
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·2d·
🔗Functional Programming
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·53m·
Discuss: Hacker News
🧠Digital Mnemonics
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2h·
Discuss: Hacker News
Developer Productivity
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·2d·
🔗Functional Programming
Flag this post
Creating a Gridogram
gridogram.com·4h·
Discuss: Hacker News
🧠Digital Mnemonics
Flag this post
Show HN: Farseer, rust rewrite of prophet with some extra goodies
ryanbieber.github.io·1d·
Discuss: Hacker News
🛠developer tools
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·4h·
Discuss: Substack
Compiler Theory Applications
Flag this post